1. Les mathematiques a la portee de l'ordinateur

پدیدآورنده :

کتابخانه: Library of College of Science University of Tehran (Tehran)

موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical,، Programming languages )Electronic computers(

رده :
Q
335
.
A75